The SDL ’ 05 conference in Grimstad

Conference Book for the Semantic Interoperability Centre Europe

Localised Learning, Globalization, and the Electronics Industry in Horten

for the DRUID Summer Conference 2003 on Creating, Sharing and Transferring Knowledge: The role of Geography, Institutions, Organizations Arne Isaksen, Agder University College, Groosevn. 36, 4876 Grimstad, and STEP, centre of innovation, Hammersborg tog 3, 0179 OSLO

A timed rewriting logic semantics for SDL: A case study of alternating bit protocol

SDL is an industrial standard formal description technique for telecommunication systems. Despite its wide spread use and industrial importance it lacks at present an adequate formal semantics integrating its static, dynamic, and real{time aspects. Timed Rewriting Logic (TRL) is a new variant of Rewriting Logic, an algebraic formalism which allows the dynamic behaviour of systems to be axiomati...

Querying Shapes of Histories

We present a shape de nition language, called SDL, for retrieving objects based on shapes contained in the histories associated with these objects. It is a small, yet powerful, language that allows a rich variety of queries about the shapes found in historical time sequences. An interesting feature of SDL is its ability to perform blurry matching. A \blurry" match is one where the user cares ab...

Effect of Self-Directed Learning on the Components of Reading Comprehension

Research shows a positive relationship between self-directed learning (SDL) andreading comprehension. The present quasi-experimental study attempted to expandthe scope of SDL by investigating its effect on the components of readingcomprehension. Sixty high school students took the reading comprehension part ofPET as the pretest and the posttest. Over 16 weeks, the experimental group,consisting ...